Circular 27

A wide variety of fuels available in Alaska, their range in cost, and a diversity of heating applications often make the selection of a fuel an important and sometimes difficult task. While cost is important, other factors such as convenience, cleanliness, and adaptability to automatic control sometimes over-ride cost considerations, especially for home heating or crop drying

Parents Online

Presents findings from surveys conducted between 2000 and 2002. Looks at the use of the Internet and other technology by parents with a child at home, in comparison with non-parents

An analytical solution for the elastoplastic response of a continuous fiber composite under uniaxial loading

A continuous fiber composite is modelled by a two-element composite cylinder in order to predict the elastoplastic response of the composite under a monotonically increasing tensile loading parallel to fibers. The fibers and matrix are assumed to be elastic-perfectly plastic materials obeying Hill's and Tresca's yield criteria, respectively. Here, the composite behavior when the fibers yield prior to the matrix is investigated

Using Optimization to Obtain a Width-Independent, Parallel, Simpler, and Faster Positive SDP Solver

We study the design of polylogarithmic depth algorithms for approximately solving packing and covering semidefinite programs (or positive SDPs for short). This is a natural SDP generalization of the well-studied positive LP problem. Although positive LPs can be solved in polylogarithmic depth while using only $\tilde{O}(\log^{2} n/\varepsilon^2)$ parallelizable iterations, the best known positive SDP solvers due to Jain and Yao require $O(\log^{14} n /\varepsilon^{13})$ parallelizable iterations. Several alternative solvers have been proposed to reduce the exponents in the number of iterations. However, the correctness of the convergence analyses in these works has been called into question, as they both rely on algebraic monotonicity properties that do not generalize to matrix algebra. In this paper, we propose a very simple algorithm based on the optimization framework proposed for LP solvers. Our algorithm only needs $\tilde{O}(\log^2 n / \varepsilon^2)$ iterations, matching that of the best LP solver. To surmount the obstacles encountered by previous approaches, our analysis requires a new matrix inequality that extends Lieb-Thirring's inequality, and a sign-consistent, randomized variant of the gradient truncation technique proposed in

Noncontact true temperature measurement, 2

A laser pyrometer was developed for acquiring the true temperature of a levitated sample. The reflectivity is measured by first expanding the laser beam to cover the entire cross-sectional surface of the diffuse target. The reflectivity calibration of this system is determined from the surface emissivity of a target with a blackbody cavity. The emissivity of the real target can then be calculated. The overall system constant is obtained by passively measuring the radiance of the blackbody cavity (emissivity = 1.0) at a known, arbitrary temperature. Since the photosensor used is highly linear over the entire operating temperature range, the true temperature of the target can then be computed. The latest results available from this on-going research indicate that true temperatures thus obtained are in very good quantitative agreement with thermocouple measured temperatures

Deploying expert systems in Ada

As the Department of Defense Ada mandate begins to be enforced actively, interest in deploying expert systems in Ada has increased. A prototype Ada based expert system tool is introduced called ART/Ada. This prototype was built to support research into the language and operational issues of expert systems in Ada. ART/Ada allows applications of a conventional expert system tool called ART-IM (Automated Reasoning Tool for Information Management) to be deployed in various Ada environments with efficient use of time and space. ART-IM, a C-based expert system tool, is used to generate Ada source code which is compiled and linked with an Ada base inference engine to produce an Ada executable image. ART/Ada will be used to implement several prototype expert systems for the Space Station Freedom Program testbeds

ART-Ada: An Ada-based expert system tool

The Department of Defense mandate to standardize on Ada as the language for software systems development has resulted in increased interest in making expert systems technology readily available in Ada environments. NASA's Space Station Freedom is an example of the large Ada software development projects that will require expert systems in the 1990's. Another large scale application that can benefit from Ada based expert system tool technology is the Pilot's Associate (PA) expert system project for military combat aircraft. Automated Reasoning Tool (ART) Ada, an Ada Expert system tool is described. ART-Ada allow applications of a C-based expert system tool called ART-IM to be deployed in various Ada environments. ART-Ada is being used to implement several prototype expert systems for NASA's Space Station Freedom Program and the U.S. Air Force